"数理論理学" meaning in All languages combined

See 数理論理学 on Wiktionary

Noun [日本語]

Forms: すうりろんりがく
  1. 形式論理の数学的な解析などを行う分野。
    Sense id: ja-数理論理学-ja-noun-R2Xd0jXr
The following are not (yet) sense-disambiguated
Related terms: 数理科学 Translations: mathematical logic (英語)
{
  "categories": [
    {
      "kind": "other",
      "name": "日本語",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "日本語 数学",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "日本語 論理学",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "日本語_名詞",
      "parents": [],
      "source": "w"
    }
  ],
  "forms": [
    {
      "form": "すうりろんりがく"
    }
  ],
  "lang": "日本語",
  "lang_code": "ja",
  "pos": "noun",
  "pos_title": "名詞",
  "related": [
    {
      "word": "数理科学"
    }
  ],
  "senses": [
    {
      "glosses": [
        "形式論理の数学的な解析などを行う分野。"
      ],
      "id": "ja-数理論理学-ja-noun-R2Xd0jXr"
    }
  ],
  "translations": [
    {
      "lang": "英語",
      "lang_code": "en",
      "word": "mathematical logic"
    }
  ],
  "word": "数理論理学"
}
{
  "categories": [
    "日本語",
    "日本語 数学",
    "日本語 論理学",
    "日本語_名詞"
  ],
  "forms": [
    {
      "form": "すうりろんりがく"
    }
  ],
  "lang": "日本語",
  "lang_code": "ja",
  "pos": "noun",
  "pos_title": "名詞",
  "related": [
    {
      "word": "数理科学"
    }
  ],
  "senses": [
    {
      "glosses": [
        "形式論理の数学的な解析などを行う分野。"
      ]
    }
  ],
  "translations": [
    {
      "lang": "英語",
      "lang_code": "en",
      "word": "mathematical logic"
    }
  ],
  "word": "数理論理学"
}

Download raw JSONL data for 数理論理学 meaning in All languages combined (0.5kB)


This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-11-06 from the jawiktionary dump dated 2024-10-20 using wiktextract (fbeafe8 and 7f03c9b). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.